include Nat.Make32 ()
